一种基于Ontology的WEB服务时间约束定义及验证方法

针对目前面向服务计算(SCO)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法.该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束.扩展已有的PetIi网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系.根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束PetIi网(TCPN)间的映射关系.该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础.     

具有混杂约束的非线性优化神经网络

目的为解决一类同时含有等式约束和不等式约束的混杂约束的非线性规划问题．方法利用神经网络具有内在大规模并行运算和快速收敛特性理论,提出了一种非线性优化神经网络解决一类混杂约束的非线性规划问题．结果该模型既克服了采用罚函数方法的神经网络求解优化问题的缺陷,同时与引入松弛变量的优化神经网络相比,具有电路实现简单、计算量小和收敛速度快等特点．此外,利用能量函数对神经网络的稳定性和收敛性进行了分析,进而保证所提出的神经网络具有全局稳定性．结论通过两个数值仿真例子验证了所提出的优化网络的有效性．     

不确定约束T-S模糊系统的鲁棒最优控制

针对带有时域约束(包括控制输入约束与状态约束)和不确定性的T-S模糊系统,研究了其鲁棒最优控制问题。利用S-Procesure导出了求解状态反馈控制器的充分条件。该控制问题最后归结为求解在一组非线性不等式族约束条件下的优化问题,本文给出了该优化问题的迭代求解步骤。在倒立摆系统中应用的仿真结果表明,本文所提方法是有效的。     

基于TOC的煤矿安全精细化管理效率研究

针对煤矿生产系统涉及的要素多、危害安全生产的因素复杂,安全精细化管理的内容十分繁琐,从而影响管理效率及煤矿安全管理效果等问题,采用约束理论有关原理,在工业工程理论的指导下,探讨了提高煤矿安全精细化管理效率的方法,对实际煤矿安全生产管理具有重要的借鉴意义。     

独立多约束最短路径选择

多约束最短路径问题一直以来都是通信、交通等领域最主要的问题之一,该问题是一个NP问题.在解决多约束最短路径选择中,代价函数的选择至关重要.针对相互独立的乘性多约束条件,提出一种代价函数的选取框架,并将此框架应用于两约束的最短路径选择中,实验结果表明,能够很好的发现最短路径.     

一种UML状态图模型检测方法

为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式...     

多属性决策在防空兵作战方案选择中的应用

针对防空作战指挥决策往往面对多目的（指标）决策,提出基于离差的多属性决策的灰色关联分析方法,并应用实例验证了该模型的有效性与实用性,此方法为解决评估防空兵作战方案提供了一种科学、实用的新途径。     

烟气脱硫系统运行参数对脱硫效率的数值模拟

采用数值模拟的方法分析了液滴初始粒径、烟气出入塔温度、烟气入塔速度、SO2入塔浓度和脱硫剂浓度等影响脱硫效率的敏感参数,建立了合理的数学模型,分析了上述参数在反应塔内的变化及其对脱硫效率的影响规律,确定了合理的参数调控体系。     

基于DoDAF的C2BMC系统作战视图研究

首先简要介绍了美军导弹防御的指挥控制、作战管理与通信系统(command and control,battle management and communications,C2BMC)系统和国防部体系结构框架(Department of Defense architecture framework,DoDAF)的基本情况,确定了作战视图产品的建模方法和开发步骤,然后利用Telelogic公司的System Architect(SA)软件完成了作战视图(operational view,OV)的分析与设计,为理解指控系统内在规律、开展指控系统顶层设计研究提供理论支持,对于开展其他复杂系统的体系结构研究也具有借鉴意义。     

质量矩拦截弹的H∞鲁棒控制研究

以所建立的质量矩拦截弹数学模型为基础,通过对模型合理的简化,得到了一个耦合的非线性动力学系统.利用微分几何的反馈线性化理论,得到了一个解耦线性系统,考虑到拦截弹的鲁棒性要求和3个滑块的协调控制问题,为了提高系统的动态性能,采用LMI区域进行闭环极点配置.同时,提出基于ITAE准则,考虑混合灵敏度问题,对权函数的选择等问题进行了研究,设计了具有鲁棒极点约束的质量矩拦截弹姿态控制系统,仿真结果验证了这种方法的有效性.